BEGIN { srand() }
{ x[rand()] = $0 }
END { for (i in x) print x[i] }
